What is semigroup example